COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		Here are some of the accomplishments of the Stanford Artificial
C00005 ENDMK
C⊗;
	Here are some of the accomplishments of the Stanford Artificial
Intelligence Laboratory between 1 September 1973 and 10 June 1974:

	1. A second mechanical arm has been put into service and some
programs requiring co-ordination of two arms have been written such as
a program for assembling a hinge.

	2. Starts have been made on languages for describing mechanical
assembly tasks and for describing vision tasks associated with assembly.

	3. A dissertation has been completed on programs for using two
stereo views of a scene to find corresponding areas in the two pictures
and to use the stereo to find the distance of the objects in the scene.
The main emphasis was on reducing the amount of computer time required
so as to make the algorithms practical.

	4. A dissertation was completed on a system for generating
appropriate data structures from a program in which the data was
described abstractly.

	5. Substantial improvements have been made in the FOL proof
checker for first order logic and in its application to proving
correctness of computer programs.

	6. A simplifier has been added to the Luckham program
verification system and an interface between that system and the
theorem prover has been programmed and has been applied to the
verification of certain programs.  

	7. A dissertation was completed on CO-PILOT, a multiprocessing
system providing interactive debugging in a higher level language.

	8. Manna published the first textbook on mathematical theory
of computation.

	9. A dissertation was published that used Scott's theory
to compare various computation procedures and develop the notion
of a "safe" computational procedure to compute the least fixpoint
of recursive functionals.